Detecting Unrealizability of Distributed Fault-tolerant Systems
نویسندگان
چکیده
منابع مشابه
Detecting Unrealizability of Distributed Fault-tolerant Systems
Writing formal specifications for distributed systems is difficult. Even simple consistency requirements often turn out to be unrealizable because of the complicated information flow in the distributed system: not all information is available in every component, and information transmitted from other components may arrive with a delay or not at all, especially in the presence of faults. The pro...
متن کاملFault-tolerant Distributed Systems
Distributed systems have two key advantages: they increase the quality of our interaction with computers and the quantity of resources available to us. The quality increases as components of a distributed system hide failures from users and render a service more reliable (safer from loss) andmore available (less downtime). Increases in quantity, such as computational power and storage capacity,...
متن کاملFault Tolerant Distributed Information Systems
Critical infrastructures provide services upon which society depends heavily; these applications are themselves dependent on distributed information systems for all aspects of their operation and so survivability of the information systems is an important issue. Fault tolerance is a key mechanism by which survivability can be achieved in these information systems. We outline a specification-bas...
متن کاملByzantine Fault Tolerant Monitoring of Distributed Systems
Adaptive systems (AS) are capable of altering their configuration in response to changes in its execution environment, caused, e.g, by faults or alterations in access patterns. A key component of any AS is the monitoring system (MS), responsible for collecting information regarding the operation and detect the changes to feed the policies that guide the system adaptation. The MS is especially c...
متن کاملDesign of Distributed Fault Tolerant Control Systems
When dealing with large-scale complex networked control systems, designing FDI/FTC systems is a very difficult task due to the large number of sensors and actuators spatially distributed and networked connected. Despite the research effort on developing FTC systems for NCS most of these developments still being designed globally leading to centralized FTC solutions inadequate to NCS or, assume ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(3:12)2015